Correct a small oversight

When changing themes, we also need to update the box spacing of
tooltips.

diff --git a/gtk/gtktooltip.c b/gtk/gtktooltip.c
index 1f4de9d776d96ceb499ead55daed3e17e44f06bd..ee4fb0e0e96d45fcb8cef491c10795d860b00989 100644 (file)
--- a/gtk/gtktooltip.c
+++ b/gtk/gtktooltip.c
@@ -501,6 +501,8 @@ gtk_tooltip_window_style_set (GtkTooltip *tooltip)
                             tooltip->window->style->ythickness,
                             tooltip->window->style->xthickness,
                             tooltip->window->style->xthickness);
+  gtk_box_set_spacing (GTK_BOX (tooltip->hbox,
+                      tooltip->window->style->xthickness);
 
   gtk_widget_queue_draw (tooltip->window);
 }